quasi-trace

A quasi-trace on a -algebra , is a continuous , that satisfies for all and . For all commuting elements in
.
A theorem of Haagerup gives that every quasi-trace on an exact C-star algebra unital -algebra extends to a trace.